Uncertain Entailment and Modus Ponens in the Framework of Uncertain Logic
نویسنده
چکیده
Uncertain entailment is a methodology for calculating the truth value of an uncertain formula via the maximum uncertainty principle when the truth values of other uncertain formulas are given. In order to find the truth value of additional formula, this paper will introduce an entailment model. As applications of uncertain entailment, this paper will also discuss modus ponens, modus tollens, and hypothetical syllogism. c ©2009 World Academic Press, UK. All rights reserved.
منابع مشابه
Equality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملDeductive Approximate Reasoning | a Comparison of Two Approaches
This paper deals with deductive approximate reasoning techniques. Approximate reasoning is concerned with the appropriate processing of vague and uncertain knowledge, given in a rule based manner. The role model for dealing with vague and uncertain knowledge is the human mind. The ability to build abstractions and vague concepts lies at the heart of the immense capabilities of the human brain. ...
متن کاملOn the joint verification of Modus Ponens and Modus Tollens in fuzzy logic
This paper deals with the joint verification of the inequalities of Modus Ponens and Modus Tollens in Fuzzy Logic. Although the case of Modus Ponens was partially considered before, the case of Modus Tollens and the joint satisfaction of both inequalities are studied by the first time. The cases of R-implications, Simplications, Q-implications and MamdaniLarsen implications are separatedly cons...
متن کاملUncertain random logic and uncertain random entailment
Probabilistic logic and uncertain logic, as two branches of the multi-valued logic, have been proposed for dealing with knowledge with random factors and with human uncertainty, respectively. As a generalization, this paper proposes an uncertain random logic to deal with complex knowledge containing random factors and human uncertainty simultaneously, and derives a formula to calculate the trut...
متن کاملHuman reasoning with imprecise probabilities: Modus ponens and denying the antecedent
The modus ponens (A → B, A ∴ B) is, along with modus tollens and the two logically not valid counterparts denying the antecedent (A → B,¬A ∴ ¬B) and affirming the consequent, the argument form that was most often investigated in the psychology of human reasoning. The present contribution reports the results of three experiments on the probabilistic versions of modus ponens and denying the antec...
متن کامل